منابع مشابه
E2 model structures for presheaf categories
The purpose of this paper is to develop analogs of the E2 model structures of Dwyer, Kan and Stover for categories related to pointed bisimplicial presheaves and simplicial presheaves of spectra. The development is by analogy with and builds on the work of Dwyer, Kan and Stover [1], [2], along with later work of Goerss and Hopkins [3]. The technical challenge met in the present paper is that no...
متن کاملBisimulation from Open Maps
An abstract definition of bisimulation is presented. It enables a uniform definition of bisimulation across a range of different models for parallel computation presented as categories. As examples, transition systems, synchronisation trees, transition systems with independence (an abstraction from Petri nets) and labelled event structures are considered. On transition systems the abstract defi...
متن کاملBisimulation and open maps
An abstract deenition of bisimulation is presented. It enables a uniform deenition of bisimulation across a range of diierent models for parallel computation presented as categories. As examples, transition systems, synchronisation trees, transition systems with independence (an abstraction from Petri nets) and labelled event structures are considered. On transition systems the abstract deeniti...
متن کاملHow to generate G-topologies for module presheaf categories
respectively. We refer to one of these as the parent category, with R or C as the indexing gadget. From a categorical perspective the different kinds of parent categories have a lot in common. We could say that Mod -R is just an additive version of Ĉ . That is a bit too glib, but the analysis of the two kinds of categories is quite similar. For each parent category there is a notion of a locali...
متن کاملProfunctors, open maps and bisimulation
This paper studies fundamental connections between profunctors (i.e., distributors, or bimodules), open maps and bisimulation. In particular, it proves that a colimit preserving functor between presheaf categories (corresponding to a profunctor) preserves open maps and open map bisimulation. Consequently, the composition of profunctors preserves open maps as 2-cells. A guiding idea is the view ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 2019
ISSN: 1571-0661
DOI: 10.1016/j.entcs.2019.09.002